Type Inference in Mixed Compiled / Scripting Environments

Programs written in statically-typed languages are commonly extended with scripting engines that manipulate objects in the compiled layer. These scripting environments extend the capabilities of the program, at the cost of additional errors that would be caught by compile-time type checking. This paper describes a system for using type information from the compiled, statically-typed layer to perform type inference and checking on scripting code. A proof-of-concept of this system is shown in flint, a type-checking tool for the language F-Script.